This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an (...) introduction by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

The three-yearly conference of Italian Society for Logic and Philosophy of Science (SILFS) has taken place in Bergamo, the 15th, 16th and 17th December 2010. The charming venue has been the former convent of Sant’Agostino, nowadays University of Bergamo. The conference program has been structured distinguishing plenary and parallel sessions: the first ones were 40 minutes long and designed for international guests: S. Abramsky from the Wolfson College of Oxford, A. Hagar from Indiana University, P. Janich from (...) Philipps Universitaet of Marburg and S. Okasha from University of Bristol. The complete program of the conference can be downloaded here: . We followed all the plenary sessions, and the first part of our report concerns them. There is just the exception of professor S. Psillos’ talk, which was indeed programmed, but didn’t take place due to greek unrest of the last December. The second part of our report concers the parallel sessions, that were 20 minutes long and designed for concurrent talks split between subject areas. We will keep this division into areas in our report and we chose four talks per area. However, it must be said that we had not watch the parallel sessions completely, since their being simoultaneous. This means that our review of the conference will be perspective, both because of subjective standpoint and because of the mentioned limitation. Still we hope we can offer a quite complete picture of the three-days conference, as we hope this overview may be considered as a general review of it. Just a few words must be still said to introduce to our review. The structure of each review will consists in a presentation of the talk’s author(s) (which we faithfully copy hereinafter) followed by a brief remark by us. Since many compliments could be surely done to the SILFS’ organization and to the University of Bergamo, an overall effect seems hard to be drawn, because of some arising perplexities. Although these are just our shared impressions about the conference, we think they must be remembered. One could note outward that the conference have had three official languages: English, French and Italian. Apparently, this is something that has not been justified since French has been useless and Italian has often prevented the comprehension by foreigner attendance. Many defections have taken place, something that could be said about the conformity with the program (in spite of the high number of speeches). Of course these defections have been caused by different reasons, but they become an indication of lack of professionalism as the number grows. Coming to an estimation of the inner issues, first we are seriously puzzled about the selection criterion (if any) which the SILFS has chosen the invited speakers with. One can notice that excellent talks have been put together to shallow speech without substantial scientific commitment. One has to keep in mind that who is just worthless, much lowers the general level. The topics have been various, although many were historical reconstruction and the "historiographic" approach in the study of Philosophy of Science seems therefore prevailing. Those talks whose subject was Logic and its applications, have been the highest-quality ones, by the fact that they were close to contemporary researches. More specifically, we would like to quote those concerning Quantum Computation and Logic of Quantum Mechanics. Talks of Philosophy of Biology and Cognitive Science were first-rate works, too, having showed high proficiency, though even specialistic topics were often technically handled, to the detriment of laymen (as us). (shrink)

The 10th International Conference on Biomedical Ontology (ICBO 2019), was held at the Jacobs School of Medicine and Biomedical Sciences of the University at Buffalo, in Buffalo, NY, USA. It was the 10-year anniversary of the ICBO series, and the return of the conference to Buffalo after the first two ICBO conferences were held in Buffalo in 2009 and 2011. ICBO 2019 was well attended, with 115 registered attendees and additional walk-ins from the local academic community. The (...) program included excellent keynote talks by Barry Smith, “International Standard Ontology,” and Bjoern Peters, “Putting principles into practice: OBO ontologies and applications in immunology,” as well as 23 oral presentations, 26 posters, and one software presentation. There were 53 papers and abstracts submitted for peer-review to ICBO 2019. Each submission was reviewed by three members chosen from the Program Committee. Of these submissions, 43 were accepted for this volume: 19 full papers, 23 poster abstracts, and 1 software demonstration extended abstract. We thank our program committee for their thoughtful reviews. There were also three workshops and four tutorials (listed below) held in conjunction with the main ICBO 2019 meeting. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 21.1 (2001) 107-108 [Access article in PDF] Sixth International Conference of the Society for Buddhist-Christian Studies John Berthrong Boston University The society's sixth international conference, held 5-12 August 2000, was an exceptionally successful event for the five hundred plus participants. In great measure the success was due to the conference's scenic and user-friendly location at the Pacific Lutheran University, Tacoma,Washington, and to (...) the untiring work of Professor Paul Ingram and his staff. The spirit of Mount Rainier towered over the whole event, reminding us that both Buddhism and Christianity have a stake in global healing.One of the most enjoyable aspects of the conference was how well the various panels, presentations, plenary programs, and workshops matched the announced theme of the conference. Although I cannot speak for all the participants, in my extensive sampling of the events, care was given in addressing the question of global healing from a diverse set of spiritual perspectives and academic disciplines.Whether you attended the section on meditation or the erudite papers on orthodoxy, the presenters strove to show how their work could be understood as a way to promote global healing.Nowhere was this attention to the theme of the conference more clearly demonstrated than in the evening plenaries. I confess that I am not a fan of evening meetings. However, in each case the various panels presented their analysis as a gift to the larger mosaic of the conference. The evenings began with Dr. A. T. Ariyaratne and Dr. Cecil Murray addressing nonviolent struggle for economic justice. This was followed by presentations on the Earth Charter; gender, justice, and oppression in Buddhism and Christianity; and consumerism and ecology. I would also be remiss if I did not note that we were treated to wonderful musical performances not only at the opening and closing ceremonies but during all the other plenaries as well.One of the most noteworthy features of the work of the society over the last two decades has been its conviction that erudite scholarship and the actual profession and practice of religion are not mutually exclusive. Furthermore, the society was founded on the belief that dialogue between Buddhists and Christians is a good thing in and of itself. The workshop on the interior dialogue of meditation was a gentle refutation to those in the academic world who maintain that only analysis of isolated religious practices or texts makes any sense. The society has always urged its members to bring their practices as well as their ideas to the dialogical encounter. [End Page 107]Music played a moving role in the life of the conference. The plenary sessions took place in the magnificent new music center at PLU, wherein resides a huge concert organ.We were literally moved by the organ's powerful rendition of the classic works of the Western religious musical tradition. Matching the organ was the gentle call of the shakuhachi. An organ and a shakuhachi may seem mismatched in theory and performance--much less sheer volume for the bamboo flute--but they blended into a symphony of shared sacred music.Having praised the thematic attentiveness, musical brilliance, and spiritual depth of the conference, I must likewise highlight the academic integrity of the papers. Many of the professorial types mentioned over and over again how pleased they were with the thoughtfulness of the academic presentations. Here we need not only to thank the authors but also the conference planning committee for its ability to select the best representatives of erudite, informed, and engaged models of academic scholarship. Those who were not present will simply have to wait for many of these fine papers to be published in various scholarly journals. Another helpful detail was the conference bookstore, which stocked many of the recent publications of the participants.The only criticism I heard during the whole conference was that it was, alas, a bit too long. In this busy world it is difficult for most people to block out a whole week for one conference. I mention this only in... (shrink)

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic (...) research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 24.1 (2004) 241-243 [Access article in PDF] International Conference on Religion and Globalization Ruben Habito Perkins School of Theology The International Conference on Religion and Globalization, with over two hundred participants from thirty-one countries, was hosted by Payap University and its Institute for the Study of Religion and Culture in Chiang Mai, Thailand, from 27 July to 2 August 2003, with the Society (...) for Buddhist-Christian Studies among the several cosponsoring organizations. Other sponsoring and cosponsoring organizations included the United Board for Christian Higher Education in Asia, the International Network of Engaged Buddhists, the Christian Conference of Asia, and the Museum of World Religions. Prof. John Butt, convener of the conference and director of the Institute for the Study of Religion and Culture, with other officials of Payap University, welcomed the delegates at the opening ceremonies on 27 July in a program that included musical and cultural presentations from the riches of the northern Thai heritage.Plenary speakers included Dharma Master Hsin Tao, founder of the Museum of World Religions based in Taipei, Taiwan, who spoke on "Education for Interreligious Understanding in a Global Age." Donald Swearer, of Swarthmore College and Harvard University, spoke on "Religious Identity and Globalization," with a provocative subtitle: "Would Jesus, Buddha, or Mohammed Drive an SUV?" He addressed sociological aspects of religious living in a globalized age, with particular reference to Thai society. Phra Paisan Wisalo, a noted Thai forest monk and ecological activist, spoke on the "Reform of the Thai Sangha in the Light of Global Realities." Dr. Wesley Ariarajah, a Methodist theologian from Sri Lanka who has worked for many years with the World Council of Churches, spoke on "Religious Diversity and Interfaith Relations in a Global Age."The Venerable Dhammananda (formerly known as Dr. Chatsumarn Kabilsingh) was scheduled to give a plenary address on "Women's Experience in Theravada Buddhism," but could not attend due to the untimely death of her beloved mother, the Ven.Voramai Kabilsingh, one of the pioneering twentieth-century bhiksuni s in Thailand. Mae Chee Vimuttiya delivered an address titled "The Tripitaka Answer to the Extremes in the Modern World." Episcopal Bishop John Shelby Spong (ret.) presented an address titled "Transcending the Limits of Religion in Search of the Wonder [End Page 241] of God," and spoke of challenges to Christian faith and life in a postmodern society. Muslim scholar and activist Chandra Muzaffar described the challenges to and prospects for the religions in the wake of the globalizing process in a plenary address titled "Religion and Society in a Global Age." Dr. Muzaffar's presentation succeeded in highlighting key issues faced by those sincerely looking for ways in which religious traditions and communities can contribute to global healing, rather than continue to be part of the problem that divides the human family. Michael von Brueck gave the final plenary address, titled "An Ethics of Justice in a Cross-Cultural Context," suggesting pathways for a hopeful future.In addition to the plenary addresses, there were twelve plenary panels covering various topics. These included "Education for Global Awareness," chaired by Ruben Habito; "Religion and Media in a Global Age," chaired by Louis Gabaude; "Interfaith Dialogue in a Global Age: Personal Testimonies," chaired by Donald Swearer with members from the Interreligious Group for Theological Encounters, better known as the Cobb-Abe group; "Religion and the Globalization of War," chaired by Nancy Martin; "The Shadow of Religion: Killing People and Making Peace," chaired by John Butt; "Women and Spirituality," chaired by Roshan Dhunjibhoy; "The Transformation of Religious Traditions through Global Interreligious Encounter," chaired by JosephRunzo;"Islam,Social Justice,andGlobalization," chairedby Chandra Muzaffar; "Pluralism, Human Rights, and Buddhism," chaired by Michael von Brueck; "Students of Subaltern and Superpower States: Intercultural Communicative Competence via Information Technology," chaired by Daniel Wessner; "Globalization and ReligiousVocation," chaired by Herbert Swanson; and "Contemporary Exemplars of Interreligious Bridge-Building: Thomas Merton and Bede Griffiths," chaired by Douglas Conlan. In addition to the plenary sessions, individual paper sessions were held in three concurrent groups, with more than sixty topics presented by scholars and religious leaders throughout the entire... (shrink)

Using data on submitted and published manuscripts in Feminist Economics from 1995 to 2019, we examine differences in method and scope used by authors residing in the Global North and Global South. We specifically focus on research methods, intersectional analyses, region of analysis, and co-authorship status. Further, using logistic regression models, we examine the relationship between authors’ location and use of research methods. We find authors in the Global South are more likely to engage in empirical and mixed-methods papers compared (...) to Global North authors in our sample. Moreover, a greater share of Global South authors engage in intersectional analysis and exhibit geographical focus on developing countries. Drawing insights from the Feminist Economics manuscripts data, we argue that encouraging Global South research can contribute to the goals of the field of feminist economics – aimed at inclusivity, diversity of standpoints, and plurality in research methods, thereby improving overall economic research. (shrink)

This article reports from the International Conference on Cyberlaw, Cybercrime & Cybersecurity. The Conference was addressed by more than 150 speakers backed by more than 80 supporters. It was a wonderful opportunity to network with international thought leaders under one roof.

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

Scientists, Engineers, Technocrats, Academicians, and Researchers have a vital role to play in the process of emergence of new theories, models, systems, and technologies. They also have a responsibility to harness these for common good and strive to prevent their possible ill effects in the era of rapid growth in technologies. ICM2ST-10 will play a significant role in generating awareness about the potential and the limitations of new technologies, concepts, theories, and trends. The chief objective of ICM2ST-10 is to bring (...) together experts from industries, academia, R&D institutions and other user communities on a common platform to discuss and share their expertise and experiences. (shrink)

Real life applications and case studies -- Commmunication and computing systems -- Mobile and ubiquitous computing -- Electrical and electronics systems -- Green computing and e-waste minimizations -- Image processing and applications -- Material science & technology -- Wired and wireless networks.

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert (...) systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)